#!/bin/bash

CLASSPATH=/usr/local/JML/bin/jmlruntime.jar:/usr/local/JML/bin/jmljunitruntime.jar:/usr/share/java/junit.jar:/home/pedro/workspace/railway-jml/src

jmlunit -classpath $CLASSPATH State.java

/usr/lib/jvm/java-1.4.2-sun/bin/javac -classpath $CLASSPATH State_JML_*.java

jmlc State.java

jml-junit State_JML_Test
